.dp-highlighter {
	padding: 1px; width: 97%; overflow: auto; font-family: Monaco, DejaVu Sans Mono, Bitstream Vera Sans Mono, Consolas, Courier New, monospace; font-size: 12px; margin-left: 9px; word-break: break-all; word-wrap: break-word; background-color: transparent;
}
.dp-highlighter ol {
	list-style: decimal; margin: 0px 0px 1px; padding: 2px 0px; border: 1px solid rgb(209, 215, 220); color: rgb(43, 145, 175); background-color: rgb(255, 255, 255);
}
.dp-highlighter ol li {
	margin: 0px 0px 0px 38px; line-height: 18px; padding-left: 10px; border-left-color: rgb(209, 215, 220); border-left-width: 1px; border-left-style: solid; background-color: rgb(250, 250, 250);
}
.dp-highlighter .columns div {
	margin: 0px 0px 0px 38px; line-height: 18px; padding-left: 10px; border-left-color: rgb(209, 215, 220); border-left-width: 1px; border-left-style: solid; background-color: rgb(250, 250, 250);
}
.dp-highlighter .columns {
	width: 100%; color: gray; overflow: hidden;
}
.dp-highlighter .columns div {
	padding-bottom: 5px;
}
.dp-highlighter ol li span {
	color: black;
}
.dp-highlighter .tools {
	margin: 0px; padding: 3px; text-align: left; color: black; font-weight: bold;
}
.dp-about {
	margin: 0px; padding: 0px; background-color: rgb(255, 255, 255);
}
.dp-about table {
	width: 100%; height: 100%; font-family: Tahoma, Verdana, Arial, sans-serif !important; font-size: 11px;
}
.dp-about td {
	padding: 10px; vertical-align: top;
}
.dp-about .copy {
	height: 95%; border-bottom-color: rgb(172, 168, 153); border-bottom-width: 1px; border-bottom-style: solid;
}
.dp-about .title {
	color: red; font-weight: bold;
}
.dp-about .para {
	margin: 0px 0px 4px;
}
.dp-about .footer {
	text-align: right; border-top-color: rgb(255, 255, 255); border-top-width: 1px; border-top-style: solid; background-color: rgb(236, 234, 219);
}
.dp-about .close {
	width: 60px; height: 22px; font-family: Tahoma, Verdana, Arial, sans-serif !important; font-size: 11px; background-color: rgb(236, 234, 219);
}
.dp-highlighter .comment {
	margin: 0px; padding: 0px; border: 0px currentColor; width: auto; color: rgb(0, 130, 0);
}
.dp-highlighter .comments {
	margin: 0px; padding: 0px; border: 0px currentColor; width: auto; color: rgb(0, 130, 0);
}
.dp-highlighter .string {
	color: blue;
}
.dp-highlighter .keyword {
	color: rgb(127, 0, 85); font-weight: bold;
}
.dp-highlighter .preprocessor {
	color: gray;
}
